Gate-level timing analysis and waveform evaluation

Static timing analysis (STA) is an integral part of modern VLSI chip design. Table lookup based methods are widely used in current industry due to its fast runtime and mature algorithms. Conventional STA algorithms based on table-lookup methods are developed under many assumptions in timing analysis; however, most of those assumptions, such as that input signals and output signals can be accurately modeled as ramp waveforms, are no longer satisfactory to meet the increasing demand of accuracy for new technologies. In this dissertation, we discuss several crucial issues that conventional STA has not taken into consideration, and propose new methods to handle these issues and show that new methods produce accurate results. In logic circuits, gates may have multiple inputs and signals can arrive at these inputs at different times and with different waveforms. Different arrival times and waveforms of signals can cause very different responses. However, multiple-input transition effects are totally overlooked by current STA tools. Using a conventional single-input transition model when multiple-input transition happens can cause significant estimation errors in timing analysis. Previous works on this issue focus on developing a complicated gate model to simulate the behavior of logic gates. These methods have high computational cost and have to make significant changes to the prevailing STA tools, and are thus not feasible in practice. This dissertation proposes a simplified gate model, uses transistor connection structures to capture the behavior of multiple-input transitions and requires no change to the current STA tools. Another issue with table lookup based methods is that the load of each gate in technology libraries is modeled as a single lumped capacitor. But in the real circuit, the Abstract 2 gate connects to its subsequent gates via metal wires. As the feature size of integrated circuit scales down, the interconnection cannot be seen as a simple capacitor since the resistive shielding effect will largely affect the equivalent capacitance seen from the gate. As the interconnection has numerous structures, tabulating the timing data for various interconnection structures is not feasible. In this dissertation, by using the concept of equivalent admittance, we reduce an arbitrary interconnection structure into an equivalent π-model RC circuit. Many previous works have mapped the π-model to an effective capacitor, which makes the table lookup based methods useful again. However, a capacitor cannot be equivalent to a π-model circuit, and will thus result in significant inaccuracy in waveform evaluation. In order to obtain an accurate waveform at gate output, a piecewise waveform evaluation method is proposed in this dissertation. Each part of the piecewise waveform is evaluated according to the gate characteristic and load structures. Another contribution of this dissertation research is a proposed equivalent waveform search method. The signal waveforms can be very complicated in the real circuits because of noises, race hazards, etc. The conventional STA only uses one attribute (i.e., transition time) to describe the waveform shape which can cause significant estimation errors. Our approach is to develop heuristic search functions to find equivalent ramps to approximate input waveforms. Here the transition time of a final ramp can be completely different from that of the original waveform, but we can get higher accuracy on output arrival time and transition time. All of the methods mentioned in this dissertation require no changes to the prevailing STA tools, and have been verified across different process technologies

Simulation and experiment research of vibration characteristic on star compressor

Aiming at the vibration defects of star compressor, simulation and experiment are carried out to investigate the compressor. By drilling holes in the valve stem, the pressure changes of each cylinder are measured without damaging the cylinder block. The dynamic model of crank-connecting rod mechanism is established. After the measured cylinder pressure loaded on the dynamic model, the force acting on the main motion pair is obtained. The finite element model of the compressor is established for the first time, the force of the motion pair is loaded on the finite element model by MPC coupling method, and the vibration acceleration of the machine base is tested. The result shows that the main modal shapes between 50-150 Hz are body deformation, modal shapes between 150-200 Hz are base deformation, the simulation acceleration of the base is higher than that of the experiment, and the main working frequency and frequency doubling can correspond. The conclusions provide reference for vibration isolation design of star compressor

Deformation rule of bored pile & steel support for deep foundation pit in sandy pebble geology

Regarding the whole excavation process of the support system of the Southwest Jiaotong University Station of Chengdu Metro Line 6 (the deep foundation pit bored pile + steel support and support system) as the engineering background, this paper studies the deformation rule of the deep foundation pit bored pile + steel support of the sandy pebble foundation. The deformation rule of this support system, the settlement rule of the ground surface outside the pit, and the rule of the uplift of the loose at the bottom of the pit are studied. A key analysis of the positive corner of the foundation pit is conducted, and the rationality of the optimization of the support scheme is evaluated. This paper provides effective guidance for the subsequent deep foundation pit construction and provides a reference for deep foundation pit construction

Cloning and sequence analysis of Sox genes in a tetraploid cyprinid fish, Tor douronensis

A PCR survey for Sox genes in a young tetraploid fish Tor douronensis (Teleostei: Cyprinidae) was performed to access the evolutionary fates of important functional genes after genome duplication caused by polyploidization event. Totally 13 Sox genes were obtained in Tor douronensis, which represent SoxB, SoxC and SoxE groups. Phylogenetic analysis of Sox genes in Tor douronensis provided evidence for fish-specific genome duplication, and suggested that Sox19 might be a teleost specific Sox gene member. Sequence analysis revealed most of the nucleotide substitutions between duplicated copies of Sox genes caused by tetraploidization event or their orthologues in other species are silent substitutions. It would appear that the sequences are under purifying selective pressure, strongly suggesting that they represent functional genes and supporting selection against all null allele at either of two duplicated loci of Sox4a, Sox9a and Sox9b. Surprising variations of the intron length and similarities of two duplicated copies of Sox9a and Sox9b, suggest that Tor douronensis might be an allotetraploidy.A PCR survey for Sox genes in a young tetraploid fish Tor douronensis (Teleostei: Cyprinidae) was performed to access the evolutionary fates of important functional genes after genome duplication caused by polyploidization event. Totally 13 Sox genes were obtained in Tor douronensis, which represent SoxB, SoxC and SoxE groups. Phylogenetic analysis of Sox genes in Tor douronensis provided evidence for fish-specific genome duplication, and suggested that Sox19 might be a teleost specific Sox gene member. Sequence analysis revealed most of the nucleotide substitutions between duplicated copies of Sox genes caused by tetraploidization event or their orthologues in other species are silent substitutions. It would appear that the sequences are under purifying selective pressure, strongly suggesting that they represent functional genes and supporting selection against all null allele at either of two duplicated loci of Sox4a, Sox9a and Sox9b. Surprising variations of the intron length and similarities of two duplicated copies of Sox9a and Sox9b, suggest that Tor douronensis might be an allotetraploidy

In utero Exposure to Atrazine Disrupts Rat Fetal Testis Development

Atrazine (ATR) is a commonly used agricultural herbicide and a potential endocrine disruptor that may cause testicular dysgenesis. The objective of the present study was to investigate the effects of atrazine on fetal testis development after in utero exposure. Female Sprague-Dawley rats were gavaged daily with vehicle (corn oil, control) or atrazine (25, 50, and 100 mg/kg body weight/day) from gestational day 12 to 21. Atrazine dose-dependently decreased serum testosterone levels of male pups, with a significant difference from the control recorded at a dose of 100 mg/kg. In addition, atrazine significantly increased fetal Leydig cell aggregation at a dose of 100 mg/kg. Atrazine increased fetal Leydig cell number but not Sertoli cell number. However, atrazine down-regulated Scarb1 and Cyp17a1 in the fetal Leydig cell per se and Hsd17b3 and Dhh in the Sertoli cell per se. These results demonstrated that in utero exposure to atrazine disrupted rat fetal testis development